Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
561	Unate Decomposition of Boolean Functions Alan Mishchenko∗ Portland State University Dept. of Electrical and Computer Engineering Portland, OR 97207, USA [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 03:54:08 Logic synthesis Cube Circuit minimization Boolean function Function C++ Espresso heuristic logic minimizer Mathematics Electronic engineering Boolean algebra
562	A Theory of Non-Deterministic Networks Alan Mishchenko and Robert Brayton Department of EECS, UC Berkeley, Berkeley, CA[removed]Phone: [removed]Fax: [removed]. {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-30 02:17:35 Science Canonical form Boolean network Artificial neuron Influence diagram Boolean algebra Mathematics Abstraction Logic Algebraic logic Neural networks
563	Board-Level Multiterminal Net Assignment Xiaoyu Song1, William N. N. Hung2, Alan Mishchenko1, Malgorzata Chrzanowska-Jeske1, Alan Coppola3 and Andrew Kennings4 1 Department of ECE, Portland State University, Portland, O Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-03-01 13:11:46 Applied mathematics Logic in computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array Conjunctive normal form Routing Theoretical computer science Electronic engineering Electronic design automation
564	Jerry Knoelke’s New Book Defines Math-problem-solving Process ‘Math Is Not Mystical’ teaches five-step process for solving math problems, from algebra through calculus. INNSBROOK, Mo. (PRWEB) May 23, [removed]Author Add to Reading List Source URL: www.prweb.com Language: English - Date: 2014-05-23 00:00:40 Classical logic Propositional calculus Mathematical logic Logic Boolean algebra
565	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics
566	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:46:16 Boolean algebra Electronic design automation Formal methods Bioinformatics Boolean network Logic Boolean satisfiability problem Circuit Model checking Theoretical computer science Applied mathematics Mathematics
567	Logic Synthesis for Regular Layout using Satisfiability Marek Perkowski and Alan Mishchenko Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA [mperkows, alanmi]@ece.pdx.e Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-01 01:40:28 Theoretical computer science Electronic design automation Diagrams Formal methods Lattice theory Binary decision diagram Boolean satisfiability problem Logic synthesis Lattice Abstract algebra Mathematics Boolean algebra
568	Optimization of Multi-Valued Multi-Level Networks M. Gao, J-H. Jiang, Y. Jiang, Y. Li, A. Mishchenko, S. Sinha, T. Villa, and R. Brayton Electrical Engineering and Computer Sciences Dept. University of California, Ber Add to Reading List Source URL: www.bvsrc.org Language: English* - Date: 2004-06-17 16:08:02 Diagrams Model checking Many-valued logic Flip-flop Electronics Mathematics Mathematical logic Electronic engineering Binary decision diagram Boolean algebra
569	Course Descriptions LTCY 444. READING IN THE SECONDARY GRADES. (3) The principles, psychology, and methodologies for teaching the general and the specialized reading skills in the secondary grades. MATH / MA – MA Add to Reading List Source URL: wku.edu Language: English - Date: 2015-01-13 10:46:44 Differential calculus Boolean algebra Propositional calculus Multivariable calculus Linear algebra Trigonometric functions Eigenvalues and eigenvectors Number theory Complex number Mathematics Mathematical analysis Calculus
570	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko Department of EECS University of California, Berkeley [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-04-30 02:47:03 Boolean algebra Computing Formal methods Electronic design automation Boolean satisfiability problem Boolean network Model checking Canonical form Lookup table Theoretical computer science Logic Mathematics

UPDATE